Some Examples of Semi-rational DAG Languages
نویسندگان
چکیده
منابع مشابه
Some Examples of Semi-rational and Non-semi-rational DAG Languages. Extended Version
The class of semi-rational dag (d irected acyclic graph) languages can be equivalently characterized by labeled Petri nets with ε-transitions, by rather simple leave substituting tree grammars with additional non-local merge rules, or as a synchronization closure of Courcelles class of recognizable sets of unranked, unordered trees. However, no direct recognition by some magma is known. For a b...
متن کاملFinite Automata on Unranked and Unordered DAGs Extented Version
We introduce linear expressions for unrestricted dags (directed acyclic graphs) and finite deterministic and nondeterministic automata operating on them. Those dag automata are a conservative extension of the Tu,u-automata of Courcelle on unranked, unordered trees and forests. Several examples of dag languages acceptable and not acceptable by dag automata and some closure properties are given.
متن کاملThe best uniform polynomial approximation of two classes of rational functions
In this paper we obtain the explicit form of the best uniform polynomial approximations out of Pn of two classes of rational functions using properties of Chebyshev polynomials. In this way we present some new theorems and lemmas. Some examples will be given to support the results.
متن کاملSome common fixed point theorems for four $(psi,varphi)$-weakly contractive mappings satisfying rational expressions in ordered partial metric spaces
The aim of this paper is to prove some common fixed point theorems for four mappings satisfying $(psi,varphi)$-weak contractions involving rational expressions in ordered partial metric spaces. Our results extend, generalize and improve some well-known results in the literature. Also, we give two examples to illustrate our results.
متن کاملSome common fixed point theorems for four $(psi,varphi)$-weakly contractive mappings satisfying rational expressions in ordered partial metric spaces
The aim of this paper is to prove some common fixed point theorems for four mappings satisfying $(psi,varphi)$-weak contractions involving rational expressions in ordered partial metric spaces. Our results extend, generalize and improve some well-known results in the literature. Also, we give two examples to illustrate our results.
متن کامل